03662e9a51ea715c65224d616ccdbf060eb4b286,projects/batfish/src/org/batfish/representation/cisco/RoutePolicyBooleanNextHopIn.java,RoutePolicyBooleanNextHopIn,toBooleanExpr,#CiscoConfiguration#Configuration#Warnings#,27
Before Change
return new MatchPrefixSet(
new IpPrefix(new NextHopIp(),
new LiteralInt(Prefix.MAX_PREFIX_LENGTH)),
_prefixSet.toPrefixSetExpr(cc, c, w));
}
}
After Change
@Override
public BooleanExpr toBooleanExpr(CiscoConfiguration cc, Configuration c,
Warnings w) {
PrefixSetExpr prefixSetExpr = _prefixSet.toPrefixSetExpr(cc, c, w);
if (prefixSetExpr != null) {
return new MatchPrefixSet(new IpPrefix(new NextHopIp(),
new LiteralInt(Prefix.MAX_PREFIX_LENGTH)), prefixSetExpr);
}
else {
Prefix6SetExpr prefix6SetExpr = _prefixSet.toPrefix6SetExpr(cc, c, w);
return new MatchPrefix6Set(
new Ip6Prefix(new NextHopIp6(),
new LiteralInt(Prefix6.MAX_PREFIX_LENGTH)),
prefix6SetExpr);
}
}